Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
11	Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula Add to Reading List Source URL: www.nuprl.org - Date: 2011-10-08 01:03:35
12	page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika Instituut Add to Reading List Source URL: www.ioc.ee - Date: 2014-09-30 06:56:38
13	On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen Add to Reading List Source URL: www.phil.uu.nl - Date: 2008-12-12 07:16:16
14	An intuitionistic logic that proves Markov’s principle Hugo Herbelin INRIA - PPS 23 avenue d’Italie FParis Cedex 13 Add to Reading List Source URL: www.cs.ru.nl - Date: 2011-10-04 07:32:01
15	An Intuitionistic Logic That Proves Markov’s Principle Hugo Herbelin INRIA - PPS Paris, France Add to Reading List Source URL: www.cs.ru.nl - Date: 2011-12-23 04:39:18
16	Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science Add to Reading List Source URL: aydinmohseni.com Language: English - Date: 2015-09-20 14:52:00 Formal sciences Logic Logic in computer science Mathematical logic Non-classical logic Philosophy Minneapolis College of Art and Design Mathematics Intuitionistic logic
17	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-10-20 05:03:57 Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic
18	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:25:19 Logic Mathematical logic Proof theory Admissible rule Natural deduction Sequent First-order logic Propositional calculus Substructural logic Rule of inference Intuitionistic logic Theorem
19	Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-02-19 10:54:23 Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem
20	On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-02-06 05:45:02 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic